The Growth of Iterates of Multivariate Generating Functions

The vector-valued function m(θ) of a p-vector θ has components m1(θ),m2(θ), . . . ,mp(θ). For each i, exp(mi(−θ)) is the (multivariate) Laplace transform of a discrete measure concentrated on [0,∞)p with only a finite number of atoms. The main objective is to give conditions for the functional iterates m(n) of m to grow like ρn for a suitable ρ > 1. The initial stimulus was provided by results of Miller and O’Sullivan (1992) on enumeration issues in ‘context free languages’, results which can be improved using the theory developed here. The theory also allows certain results in Jones (2004) on multitype branching to be proved under significantly weaker conditions.